Speed-forming your ontology or how to improve reasoning performance for your OWL ontology
نویسنده
چکیده
—In this talk we describe the OWL reasoning landscape and its obstacles. We overview the three tractable OWL fragments and discuss dramatic speed improvements achieved by corresponding specialized reasoners. Furthermore, various combinations of OWL constructors and their impact on practical reasoning performance are analyzed. In the last part we give a brief overview of promising approaches to speed up reasoning for OWL ontologies that are outside of the three tractable OWL fragments.
منابع مشابه
An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملBound Your Models! How to Make OWL an ASP Modeling Language
To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show that a translation into ASP allows for solving a wide range of bounded-model reasoning tasks, including satisfiability and axiom entailment but also novel ones su...
متن کاملIs Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. E...
متن کاملA New Method for Mapping UML Class into OWL Ontology
In this paper we describe how UML schemes can be converted into OWL Ontology, thus enabling reasoning on them by Semantic Web applications. The proposed solution is based on a three phases approach, the first step is to present the class diagram in the mathematical formulation and the second one is converting the UML Class into encoded text file, finally, the structure of the classification sch...
متن کامل